Selected papers on Automath

Författare
(Edited by R.P. Nederpelt, J.H. Geuvers, R.C. De Vrijer.)
Språk
Engelska
Förlag År Ort Om boken ISBN
Elsevier 1994 Nederländerna, Amsterdam xix, 1024 sidor.